English Dictionary
◊ DID YOU MEAN EXTENDED?
extended
adj 1: relatively long in duration; tediously protracted; "a
drawn-out argument"; "an extended discussion"; "a
lengthy visit from her mother-in-law"; "a prolonged
and bitter struggle"; "protracted negotiations" [syn:
{drawn-out}, {lengthy}, {prolonged}, {protracted}]
2: fully extended or stretched forth; "an extended telescope";
"his extended legs reached almost across the small room";
"refused to accept the extended hand" [ant: {unextended}]
3: great in range or scope; "an extended vocabulary"; "surgeons
with extended experience"; "extensive examples of picture
writing"; "suffered extensive damage"; "a wide selection"
[syn: {extensive}, {wide}]
4: of printers' type; wider than usual for a particular height
[syn: {expanded}] [ant: {condensed}]
5: drawn out or made longer spatially; "Picasso's elongated Don
Quixote"; "lengthened skirts are fashionable this year";
"the extended airport runways can accommodate larger
planes"; "a prolonged black line across the page" [syn: {elongated},
{lengthened}, {prolonged}]
6: beyond the literal or primary sense; "`hot off the press'
shows an extended sense of `hot'"
7: large in extent or range; "an extensive Roman settlement in
northwest England"; "extended farm lands" [syn: {extensive}]
English Computing Dictionary
◊ EXTENDED ML
Extended ML
A language by Don Sannella of the {University of Edinburgh}
combining {algebraic specification} and {functional
programming}.
["Program Specification and Development in Standard ML",
D. Sannella et al, 12th POPL, ACM 1985].
(1994-12-12)